/*
 * precon.h
 *
 *  Created on: 25.02.2013
 *      Author: Alex
 */
#include <stdbool.h>
#ifndef PRECON_H_
#define PRECON_H_


//void preCondition(int cond, char *fmt, ...) ;
//void preCondition(bool cond, char* msg);
void preCondition(int cond, char *fmt, ...);

//void postCondition(int cond, char *fmt, ...) ;

#endif /* PRECON_H_ */
